== Demographie == Nach der Volkszählung von 2000 gibt es 9.449 Menschen, 3.275 Haushalte und 2.675 Familien in der Stadt. Die Bevölkerungsdichte beträgt 894,2 Einwohner pro km². 92,33 % der Bevölkerung sind Weiße, 0,58 % Afroamerikaner, 0,00 % amerikanische Ureinwohner, 5,89 % Asiaten, 0,02 % pazifische Insulaner, 0,43 % anderer Herkunft und...